首页> 外文OA文献 >Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

【2h】

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

机译：使用K框架正式规范包过滤语言的工业经验报告

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gurvan Le Guernic; Benoit Combemale; José A. Galindo;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Incorporating Formal Techniques into Industrial Practice: an Experience Report [J] . Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Electronic Notes in Theoretical Computer Science . 2013,第7期

机译：将正式技术融入工业实践：经验报告
2. A framework for evaluating specification methods for reactive systems-experience report [J] . Ardis M.A., Chaves J.A. IEEE Transactions on Software Engineering . 1996,第6期

机译：评估反应堆系统规范方法的框架-经验报告
3. Towards formal methods diversity in railways: an experience report with seven frameworks [J] . Franco Mazzanti, Alessio Ferrari, Giorgio O. Spagnolo International Journal on Software Tools for Technology Transfer . 2018,第3期

机译：致力于铁路形式化方法的多样化：包含七个框架的经验报告
4. User-friendly formal specification languages - conclusions drawn from industrial experience on model checking [C] . Antti Pakonen, Cheng Pang, Igor Buzhinsky, IEEE International Conference on Emerging Technologies and Factory Automation . 2016

机译：用户友好的正式规范语言-根据模型检查的行业经验得出的结论
5. A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ. [D] . Sherrell, Linda Bostwick. 1995

机译：通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
6. Difficulties in analysing animal song under formal language theory framework: comparison with metric-based model evaluation [O] . T. Morita, H. Koda 2020

机译：在正式语言理论框架下分析动物歌曲的困难：与基于度量的模型评估的比较
7. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework [O] . Guernic, Gurvan Le, Combemale, Benoit, Galindo, José A. 2017

机译：关于包的正式规范的工业经验报告使用K框架过滤语言
8. Formal Methods of V&V of Partial Specifications: An Experience Report [R] . Easterbrook, S. , Callahan, J. 1997

机译：部分规范V＆V的形式化方法：体验报告

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

著录项

引文网络

相似文献

相关主题

期刊订阅